All this can be removed since it does not need to be passed into the `Condition` constructor.