LOGIC FRAMEWORK