Fantoccini definitions