Information related to Проект:Логика/Списки/Крипке, Сол