abandon "A Game of Fixpoints" post