ProjectionSuccess

constructor(proposition: Proposition, projected: T)