( 3 , s proc ) för de senare.