Craig's Proposition