partial assertion