I'm starting an implementation of a rational closure algorithm.