On the Ramsey-Tur\'an problem for 4-cliques | Synapse