Definition of Frankleyn