To ' and to ' a probably stand for todo and toda no idea about mai '.<| sep |> Like the classic one ? Too bad it ' s not $ 1 <| sep |> Ok , I think I had misunderstood the KP . It is an implication , so it indeed only applies to true claims . Then I can understand the reasoning until the operator . I have never encountered it in my logic classes and I don ' t know what necessary means in terms of formal logic . Can you also explain C to me ? <| sep |> We waited until about 830 PM last night to take off and head to the Houston area to be with our families and the drive was 100 % smooth sailing . Last year we left after work and it took us 2 and a half hours to get to Bastrop , which normally only takes us about 40 minutes . We got in around 1130 last night , but the late drive was definitely worth it .