In this section we will discuss the First-Order Prototype System