LogicalAndProbabilityCalcLab