I think it ' s just binding the variable x to that A B , saying there exists an x such that A B is trueThe is just saying that it is proven , so for question 2 , There exists an x such that A B proves that the following formula after is a theorem . For the third , being a the front says that the following formula is true for everything absolute theorem <| sep |> I ' ve been effing saying this . Well , about medic pouches . <| sep |> Woah man , why jump to abuse ? I use it for serious depression . I ' m plenty experienced with the substance and have spent months smoking multiple times a day . I ' m saying that for me , even when I ' m smoking all day every day , I get more dreams than during tolerance breaks or times I ' m not smoking . I barely dream when I ' m not smoking , but when I am I have vivid and intense dreams . I must be an outlier .