Formula implemented. Not tested yet