let ghostify x = { (x) with ghost = true; }