1-2Vm A+B by R. Tromp & Th. Smits