make notation more DSL like