Val instance