Full interpretation of TroubleWithDivision implemented