Virtual methods really only make sense when there's methods that take arguments, and the computation depends on them. Until we have such cases (which perhaps wouldn't fit in the name "parameters" anymore), I think we can drop all the virtuals.