State Proposition Results Mixed