← A Guide for Developing a Logical Framework