Post #4398825

@rntz@recurse.social They're equivalent to each other in terms of power since they are interderivable, given the `not` that you'd typically have access to in this sort of setting: https://gist.github.com/roboguy13/6b4d25a41e013edcf7c0c03ed244b62a