Shorten the derivation comment at the start