fix: use Formula