relaxing lazily generated variables