🔗 ⚙️

deductive apparatus from relation R by Jukka-Pekka Kervinen