Presenting the Logical Framework In a More Engaging Way