[logicprog]

> That seems exceptionally clumsy

That's me ;_;