See my comment above. And yes, the preconditions could be written with a lambda, which would be much cleaner than using eval.