# File default/mathematician.rb, line 56 def zig_left_up() #Precondition: facing_west? and front_is_clear? #Postcondition facing_west? move() turn_right() move() turn_left() end