Fixed Not Until formula generation