Basic type formulation