Split bind formula into two states; added map; added pillar examples