Modeling logical (explicit) errors with the activity