"This is not universally agreed-upon, but I use ..."

https://arbital.com/p/5ys

by Patrick Stevens Aug 22 2016 updated Aug 22 2016


This is not universally agreed-upon, but I use " decides whether or not holds" to mean " outputs if holds, and outputs otherwise".

If I said " decides if holds", I would consider that ambiguous: it might mean " outputs if holds" without the requirement on 's behaviour if doesn't hold.