Exist

Exist may refer to:

See also

Exist (song)

"Exist" is a single by electronic music artist OVERWERK. Released on June 23, 2014, the song also had "Exist (Club Mix)" released as part of a two-song EP package. OVERWERK, also a graphic designer, created the album cover.

The single was largely well-received. Wrote Vibe in June 2014, "Overwerk has the rare ability to blend sick electro with string arrangements and soundscapes that are fit to score an epic movie, making ['Exist'] both emotionally cinematic and extremely dance-inducing in one."

Production

In June 2014 OVERWERK announced he would be undertaking his first American tour in July, having up to that point only traveled Canada and much of Europe. At the same time he announced a new single, and "Exist" was released on June 24, 2014 on the record label Fabrik. The track was packaged as part of a two-track EP which featured both an original mix and an extended club mix. OVERWERK had originally thought of the concept for "Exist" as a music video, but as of July 2014 the video was still pending, with Overwerk stating that "hopefully the video will get people thinking about things they don’t usually consider."

Existential quantification

In predicate logic, an existential quantification is a type of quantifier, a logical constant which is interpreted as "there exists", "there is at least one", or "for some".

It is usually denoted by the turned E (∃) logical operator symbol, which, when used together with a predicate variable, is called an existential quantifier ("∃x" or "∃(x)"). Existential quantification is distinct from universal quantification ("for all"), which asserts that the property or relation holds for all members of the domain.

Symbols are encoded U+2203 ∃ THERE EXISTS (HTML ∃ · ∃ · as a mathematical symbol) and U+2204 ∄ THERE DOES NOT EXIST (HTML ∄).

Basics

Consider a formula that states that some natural number multiplied by itself is 25.

This would seem to be a logical disjunction because of the repeated use of "or". However, the "and so on" makes this impossible to integrate and to interpret as a disjunction in formal logic. Instead, the statement could be rephrased more formally as

Rufio

Rufio was a punk rock band based in Rancho Cucamonga, California.

History

Rufio was formed when bassist Jon Berry was a freshman in college and the other three members, Scott Sellers, Mike Jimenez, and Clark Domae, were seniors in high school. Sellers and Domae had been acquainted for some time and found a shared talent in the guitar. Sellers met Berry and they began playing together in various groups and sessions. Around the same time, the two purchased a 4-track to record the songs they were writing. After Berry and Sellers began recording, they asked Jimenez to listen to their recordings and play drums with them. Domae joined shortly after and completed the official lineup. The band took their name from the character Rufio, leader of the Lost Boys in the absence of Peter Pan in the 1991 film Hook.

Rufio released its debut record, Perhaps, I Suppose..., in 2001 on The Militia Group label. The band returned in June 2003 with MCMLXXXV, released on the Nitro label), which was recorded with the aid of producer Nick Rasculinecz who has also recorded with Foo Fighters and Rancid. Rufio went on to play on the Warped Tour that summer supporting that album. The band's third album, The Comfort of Home, was released in July 2005. The band embarked on a tour that fall with MxPx and Relient K.

Rufio (officer of Caesar)

Rufio was an officer of the Roman general and statesman Julius Caesar. In 47 BC he was appointed by Caesar commander-in-chief of the three Roman legions that were stationed in Egypt.

Rufio was the son of a freedman and came in 48 BC as a member of Caesar’s army to Egypt. After Caesar had intervened in the Ptolemaic struggle for the throne between the siblings Cleopatra and Ptolemy XIII and won the Alexandrian war against the party of Ptolemy XIII (January 47 BC) he stationed three legions in Egypt to safeguard his victory. These troops, the 27th, 37th, and 39th legion, served to protect, but also to check the rule of Cleopatra, who had become Caesar’s mistress and now reigned as allied queen.

Contrary to the tradition Caesar did not appoint a senator supreme commander of the Roman occupying army but his reliable officer Rufio. The main reason for this nomination was the fear of Caesar that an influential senator, who was left behind in Egypt as commander-in-chief, could use the economic strong and strategic important land on the Nile as base to make a bid for power, whereas Rufio had a too low rank and did not possess the necessary connections. Caesar also seems to have considered his officer was very trustworthy, because Suetonius calls Rufio a lover (exoletus) of Caesar (but probably not in a sexual sense).