define #validity{} record