arm aspect of monkey, 3 assertions