_ _ _ _ _ _ _ _ _ _ _ _ _
An interpretation _I satisfies a sentence in the table language if and only if each entry in the table designates the value of the function designated by the function constant in the upper-left corner applied to the objects designated by the corresponding row and column labels. -Genesereth & Nilsson, "Logical foundations of Artificial Intelligence"
_ _ _ _ _ _ _ _ _ _ _ _ _
/\ ___ /\ // \/ \/ \\ (( O O )) \\ / \ // \/ | | \/ | | | | | | | | | o | | | | | |m| |m|
shutdown -r now