formulations in implementation chapter