Example: LQQ bound to 2EUF