add semantics of rimanere