short-circut annotations