macken to Mackintosh's Corollary