afalse F1 B2 rfalse B10 B11 F12 atrue rtrue