Airtight Logic