Adding start to avoid proof error