Conditions for Itanium Memory Consistency -- A Group Quorum System of Degree -- An