deriving S1-rec from S1-ind