Add Bison2 formula