Build a logical framework