work on abstract and prob formulation