expectation on the left (and more below)