Aborted the A2 proof...we will not consider negative agreements for now.
Added A3 which is based on example 2.5 from the paper.