$p : OlePatronDocument(!isAddressVerified())