add comment for the incorrect implementation of `R.hat.c`
debug V.hat_tilde_Q.s.gen
implement V.hat_tilde_R.s.gen