at-before annotation