sieve (n.) → pure
Relation Type