# rvl4qed