as discovered/formulated by Alonzo Church