Prettier semantics!