mic_none

File:First-order tableau with unification.svg Source: en.wikipedia.org/wiki/File:First-order_tableau_with_unification.svg