Step 1: AB (A→B)