Definition of Pro Quer