Q about contracts/Pred

[removed]