explicit formulation