::quartus::qed