omnes videntes