The cat theorem: - pikabu.monster