Since Cohen forcing is countable, it satisfies ccc, hence, Cohen forcing is proper. Furthermore, since forcing notions with the Laver property do not add Cohen reals, Cohen forcing obviously does not have the Laver property. Not so obvious are the facts that Cohen forcing adds unbounded and splitting, but not dominating reals.