Discrete mathematics at Melbourne