Changed Cannon to High-Level Logic