Wip 3478 fail constr ∂π