1 above — proof