data expectation1 -/- expectation2

type expectation1 -* expectation2