a few useful expressions