Create exhaustive.go