akerro
g/akerro

Upvote it if you love formal logic.

#