Added some useful aliases. These should eventually be in F123Box,
but they just need to work for now.