transducers
fact without name