A to G |- A in 6.1