 All of the above moods may be proved, according to Avicenna, either by converting one of the premises or by reductio (and in the case of Baroco, by the analogue of an ecthetic proof, where the instantiated element is a specified “case and time”).