🔗 ⚙️

theta [9] from relation R by Jukka-Pekka Kervinen