A {} B {}