1. …in reply to @Keithamus
    Keithamus rem So does it kind of say: true * true -> 1 * 1 -> 1 -> true?
    2016 Apr 15