end theory (Explicit)

end theory (Explicit)