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

tight => PA1.