Domain of logic according st.th.aquinas by Schmidt