Could always vendor it here as a resource, would probably be nicer if we don't have a `default_formula`.