"into proof Q exists."