Propositions for Justification
	• (P1): S’s believing p at time t is justified if and only if:    S’s believing p at t is permitted by a correct    system of justification rules (J-rules)