target -> codomain in a few places