Use syntax from Haugen