Some cannot be derived because the derivation include bounds on unit types.