"=>" is tight if C">"B => there exists D in A s.t. C">"B union D">"B tight => PA1.