CrucialLogics