(Misinterpreted -- see below -- but these are unnecessary)