gorilla tag basics with @Thmbuford

gorilla tag basics with @Thmbuford