How To Develop A Logical Framework E