Binnen het project wordt een recent ontdekt fenomeen van fasenovergang in de logica en comibnatoriek onderzocht. Verder zullen resulterende methoden en resultaten tot informatica een open problemen in de wiskunde toegepast worden.