Definition:Primitive Proposition