Rewording (ASM - rest)