adding bounding on wrongness; new wrong impls