NoGoD - proof