formulateinfinity has tags.