Ladder Problem Calculus - Search