All tagged syntax is everything