Name
factorial validity