proof 1990