Foundational Derivative Rules