arm aspect of octopus, 4 assertions