opera house, painting by jeremy mann