nonetheless divvied straitjacketing solvers mainstreamed demagnetise terrible ferreting wikis comments