On the one hand, logic is the study of certain mathematical properties of artificial, formal languages. It is concerned with such languages as the first or second order predicate calculus, modal logics, the lambda calculus, categorial grammars, and so forth.
Underworld is a 2003 action horror film directed by Len Wiseman about the secret history of Vampires and Lycans (an abbreviated form of lycanthrope). It is the first (chronologically, the second) installment in the Underworld series. The main plot revolves around Selene (Kate Beckinsale), a vampire Death Dealer hunting Lycans.
Town and city. Prison Life is an RP/survival game created by the user Aesthetical on May 1, 2014. The game had gone through a lot of changes in v2.0 since that v2.0 came out of the old version. The game has nearly 318 million visits and is the first most played game in February 2017.