to prove {relations}