Knowledgeable Proposition (Roy)