We show how to implement miniKanren with =/=, symbolo, numbero, and absento. The set of constraints we choose is motivated by the fact that interesting classes programs can be implemented with these, e.g. relational inter- preters and relational type inferencers. We also present a four-step constraint implementation recipe that en- ables readers to implement constraints beyond the set we chose.