white lie subgroup of lie, 3 assertions

IsA 1
lie 0.29