Foundations of
Linear Functions