Full threadaportnoy·1 is the multiplicative identity0 is the additive identityall([]) is Trueany([]) is FalseView on HN