for bad bots

Brian Hollister: Notations