Abstract Formulation de Chris Stevens