with a usurper supported by pauloctus threatening the throne gallus prepared for a fight the p coalgebras are in bijective correspondence with sets with a binary relation