logical framework

logical framework