jessicata comments on Is requires ought

[jessicata]

Sorry for the misinterpretation. I wrote an interpretation and proof in terms of Fristonian set points here.