Mason, Michael playwright