just ignore goto stmt (it does not influence state)
IMPORTANT refactored Pairs to the fashion given in class