We present some general properties of proper forcing and give examples of posets with finite conditions that are proper.