tor: use Formula[]