# EpDisj-V2-Short **Opening (not a real abstract):** MXQFWLYLVWSRVLWLRQLQWHUPVRI VHHLQJWKDW p ,WLVXVXDOO\KHOGWKDWVHHLQJ WKDW p HQWDLOVNQRZLQJWKDW p %XWJLYHQWKHWKUHDWRI D¶EDVLVSUREOHP· IRUPXODWHGLQWHUPVRI VHHLQJWKDW p , RIIHUDQDOWHUQDWLYHZKLFKERWK FODLPWKDWVHHLQJWKDW p GRHVQ·WHQWDLONQRZLQJWKDW p