Loading paper
(Weak) diamond can fail at the least inaccessible cardinal | Tomesphere