f 0.7.1: nothing-happens rule, made literal