Much cleaner implementation of "lo"-relation. Thanks to a suggestion
by Luc Maranget.