pr t:a . Srof set 2.