Crip_theory loading ...