Removed unnecessary check through the magic of inverse_of