Ackerman after (4)