Finitary relations in Swift.