R(a)={(-O(a)∀a∈(SuperStar[A])-∞∀a∉(SuperStar[A]))
(Subscript[q, oracle])(a)=((exp(R(a)/τ))/((∑_(a'∈(SuperStar[A])))exp(R(a')/τ)))
ℒ=KL((Subscript[q, oracle])||p)