penny mentioned in SML?!?!