Floreano and Hillmann and Neufang Definition