Come back later: notes not yet posted.