Module category logic both too relaxed and too strict