claim (logic)