first upper is set iff Aaa, but not AaA or AAA