Symbolic Separations

a collection on fx(hash)