right hand side is already fixed
improvements cf. comments