#master: PRE with overflow
#master: more on identity mutability