PHILIP CLEVELAND MASTERMAN 1928-2011