added galois connection