"Redox is an operating system. An operating system needs a C library."

and which law of computing states this?