On non-linear lower bounds in computational complexity | Synapse