There is absolutely no reason for it to be derivable at this time, plus
the extra typing is endlessly annoying.