Locating Ax, where A is a subspace of B(H) (Logical Methods in Computer Science, 2014)