New implementation of REL that agrees with Kuusi examples.