Sedimentary Logic I