proper forcing