pub type PostCondition = Value;