Make α derivation a little less useless.