Venus (Riplified Extended Version)