GP is suggesting that in this setting, the set is Booleans, the operation is &&, and the identity is True. So taking your calculation of a * i = a the ope

GP is suggesting that in this setting, the set is Booleans, the operation is &&, and the identity is True. So taking your calculation of a * i = a the operation (denoted * above) is &&, and the identity (denoted i above) is True. Lets see how it holds out for all possible values of a: a && True =?= a let a := True True && True =?= True correct! a && True =?= a let a := False False && True =?= False correct!