We should make `model.sstate.variable.mask[1] = false` work instead of using `model.sstate.mask` and having to find the correct index. Also, we should probably rename `mask` with something more informative like `solved` or `known`.