KNG.TECH
If φφ then ψψ, otherwise τ