variant proof