Initial Reset and OrElse implementation in TxFS