[Leon] Subtraction problems : First try