Fundamental Proposition for Up ! Application System

The fundamental proposition for Up ! Application System is the following: