Computability in Type-2 Objects with Well-Behaved Type-1 Oracles is p-Normal
We show that computability in a type-2 object is p-normal if type-1 partial inputs are computed by ``well-behaved oracles''.