Logical framework

Logical Framework