alu aspect of cpu, 3 assertions