closing over. just datalog. collaborate.