Sedimentary Logic II