Check all derivables