working on checking exact diagonal K