082349872349872a year agoif you enjoy sokoban theory as well as sokoban systems, cf https://franklin.dyer.me/post/232