Rephrased Prop Log for Inst Fields