What does: if A1 belongs B1 mean?