Just for the record:

tetralemma quandary with four alternatives