Re-named OBST problem, defined method contracts