Move 'must' statement implementations