2023-02-17 19:52:43 PST/-0800 <VarikValefor[m]> ni'o cumki fa lo nu cinri fa le se .urli be zoi zoi. https://github.com/varikvalefor/agda-truthbrary .zoi.