A LOGICAL OUROBOROS