fix dumb predicate
fix bad type constraint on last_nag
tweak some English