Preconditions added for record fields.