We Attempt A 30k Foot View of Logic