Loose Leaf Logic