remove commented-out axioms; fix weakest-pre and also change it to no longer contain the final view shift; re-establish adequacy