Are we ever going to have asymmetric permissions for `allows_solve` and `allows_unsolve`? Not really a problem, it just struck me as a bit odd.