Added functor law properties.