Budget formula verified