Reifier

Implicits

recordSolutions

poirot

regular

poirot