There is an explicit way to define what explicit is. - Noga Alon