Eagle Time versus The World

Hey, could you guys defeat my 7 evil exes? Not to like, date me or anything, it's just they want to control the future of my love life. And that sucks.

The first one is going to make their appearance soon. So, if you wouldn't mind...

-----

7 EVIL EXES STATUS'
1. Chwoka - DEFEATED
2. Bigro
3. ???
4. SC
5. ???
6. ???
7. ?!?!?

Have you considered taking them all to a therapy session to talk about their control issues?

No.

I don't think that would go very well...

How do you feel about non-traditional definitions of defeat

How do you feel about non-traditional definitions of defeat

Sounds good to me.

do they drop coins on defeat cuz I have a huge pile of laundry and i'm kinda getting sick of it

do they drop coins on defeat cuz I have a huge pile of laundry and i'm kinda getting sick of it

They explode into change. Canadian, I'm afraid.

I've never used a Canadian laundromat

Do you have to bring your own laundry powder? Hot, warm, or cold water washes, or are there options?

Gotta watch out for the time-beasts, I hear.

so who's the lucky ex?

I've never used a Canadian laundromat

Do you have to bring your own laundry powder? Hot, warm, or cold water washes, or are there options?

Probably options??? Honestly I don't even know the location of a single laundromat.

Gotta watch out for the time-beasts, I hear.

so who's the lucky ex?

You'll know soon enough...

Probably options??? Honestly I don't even know the location of a single laundromat.

Me neither.

Oh, wait, there's this one. They're open 24 hours!

Corollary question: what is the cuteness to evil ratio of your cutest and/or least evil ex

Probably options??? Honestly I don't even know the location of a single laundromat.

Me neither.

Oh, wait, there's this one. They're open 24 hours!

Score! looks like I'm going to have to bring my own detergent though? I don't know if the plane will let me board with that much liquid, so I guess I'll have to buy some once I land in Canada. Any recommended brands? I'm not fond of that harsh detergent smell so something with a softer fragrance would be nice. None of that fragranceless shit though that stuff weirds me out

If someone dates your ex does that count as a defeat for them? Asking for a friend.

But how are you all gonna deal with Dio Brando?

But how are you all gonna deal with Dio Brando?

If this is some kind of Canadian dialect referring to water hardness, I'm pretty sure i've got that covered? It'll obviously vary based on where I end up doing my laundry but generally the water quality in Canada is decent.

If you think it's going to be a possible issue, I'll make sure to get some water softeners when I buy the laundry detergent. If anyone's got recommends for that too that'd be super-helpful, I don't want to piss around trying to choose between a dozen variants on six different products in a Canadian supermarket.

Browsing supermarkets wasn't what I came to Canada to do, after all!

7 whole evil exes? I think we need to discuss the concept of closure.

Corollary question: what is the cuteness to evil ratio of your cutest and/or least evil ex

3 metric cutes : 1 evil when I last saw them - but that was some time ago.

If someone dates your ex does that count as a defeat for them? Asking for a friend.

That might work, but would be quite the commitment. And they won't burst into change...

To be honest, I thought my first evil ex would have appeared and announced themselves by now...

Maybe they're just shy.

Or maybe they're already here

Ayo I got stuck in evil traffic but now I'm here to put the kibosh on some lovin'

Fight me

of course....

Ayo I got stuck in evil traffic but now I'm here to put the kibosh on some lovin'

Fight me

Hey buddy can you spare some change? I just flew across the Pacific to do my laundry and boy are my arms tired

Ayo I got stuck in evil traffic but now I'm here to put the kibosh on some lovin'

Fight me

1 ∀x;x=y⇒(x=z⇒y=z) Gen(x,I1)
2 ∀x;x=y⇒(x=z⇒y=z)⇒x+0=y⇒(x+0=z⇒y=z) Ax4(x,x+0,x=y⇒(x=z⇒y=z))
3 x+0=y⇒(x+0=z⇒y=z) MP(1,2)
4 ∀y x+0=y⇒(x+0=z⇒y=z) Gen(y,2)
5 ∀y x+0=y⇒(x+0=z⇒y=z)⇒ x+0=x⇒(x+0=z⇒x=z) Ax4(y,x,x+0=y⇒(x+0=z⇒y=z))
6 x+0=x⇒(x+0=z⇒x=z) MP(4,5)
7 x+0=z⇒x=z MP(I5,6)
8 ∀z x+0=z⇒x=z Gen(z,7)
9 (∀z x+0=z⇒x=z)⇒( x+0=x⇒x=x) Ax4(z,x,x+0=z⇒x=z))
10 ( x+0=x⇒x=x) MP(8,9)
11 x=x MP(-5,10)
12 ∀z x=y⇒(x=z⇒y=z) Gen(z,I1)
13 ∀z x=y⇒(x=z⇒y=z)⇒x=y⇒(x=x⇒y=x) Ax4(z,x,x=y⇒(x=z⇒y=z))
14 x=y⇒(x=x⇒y=x) MP(12,13)
15 x=y⇒(x=x⇒y=x)⇒(x=y⇒x=x)⇒(x=y⇒y=x) Ax2(x=y,x=x,y=x)
16 (x=y⇒x=x)⇒(x=y⇒y=x) MP(14,15)
17 x=x⇒(x=y⇒x=x) Ax1(x=x,x=y)
18 x=y⇒x=x MP(11,17)
19 x=y⇒y=x MP(18,16)
20 ∀x (x+y')=(x+y)' Gen(x,I6)
21 ∀x (x+y')=(x+y)'⇒(0'+y')=(0'+y)' Ax4(x,0', (x+y')=(x+y)')
22 (0'+y')=(0'+y)' MP(20,21)
23 ∀y (0'+y')=(0'+y)' Gen(y,22)
24 ∀(0'+y')=(0'+y)'⇒(0'+0')=(0'+0)' Ax4(y,0,(0+y')=(0+y)')
25 (0'+0')=(0'+0)' MP(23,24)
26 ∀x (x+0)=x Gen(y,I5)
27 ∀x (x+0)=x ⇒ (0'+0)=0' Ax4(x,0',(x+0)=x)
28 (0'+0)=0' MP(26,27)
29 ∀x (x=y⇒x'=y') Gen(x,I2)
30 ∀x (x=y⇒x'=y')⇒ ((0'+0)=y⇒(0'+0)'=y') Ax4((x,0'+0,x=y⇒x'=y'))
31 ((0'+0)=y⇒(0'+0)'=y') MP(29,30)
32 ∀y ((0'+0)=y⇒(0'+0)'=y') Gen(y,31)
33 ∀y (0'+0)=y⇒(0'+0)'=y')⇒((0'+0)=0'⇒(0'+0)'=0'') Ax4(y,0',(0'+0)=y⇒(0'+0)'=y')
34 ((0'+0)=0'⇒(0'+0)'=0'') MP(32,33)
35 (0'+0)'=0'' MP(28,34)
36 ∀x x=y⇒y=x Gen(x,19)
37 (∀x x=y⇒y=x)⇒( (0'+0')=y⇒y=(0'+0')) Ax4(x,(0'+0')(∀x x=y⇒y=x))
38 (0'+0')=y⇒y=(0'+0') MP(36,37)
39 ∀y (0'+0')=y⇒y=(0'+0') Gen(y,38)
40 ∀y (0'+0')=y⇒y=(0'+0') ⇒ ((0'+0')=(0'+0)'⇒(0'+0)'=(0'+0') Ax4(y,(0'+0)',(0'+0')=y⇒y=(0'+0'))
41 ((0'+0')=(0'+0)'⇒(0'+0)'=(0'+0') MP(39,40)
42 (0'+0)'=(0'+0') MP(25,41)
43 (∀z x=y⇒(x=z⇒y=z)) ⇒ x=y⇒(x=0''⇒y=0'') Ax4(z,0'',x=y⇒(x=z⇒y=z))
44 x=y⇒(x=0''⇒y=0'') MP(12,43)
45 ∀x x=y⇒(x=0''⇒y=0'') Gen(x,44)
46 ∀x x=y⇒(x=0''⇒y=0'')⇒( (0'+0)' =y⇒((0'+0)' =0''⇒y=0'')) Ax4(x,x,(0'+0)',x=y⇒(x=0''⇒y=0'') )
47 (0'+0)' =y⇒((0'+0)' =0''⇒y=0'') MP(45,46)
48 ∀y (0'+0)'=y⇒((0'+0)' =0''⇒y=0'') Gen(y,47)
49 ∀y (0'+0)' =y⇒((0'+0)' =0''⇒y=0'')⇒
((0'+0)' =(0'+0')⇒((0'+0)' =0''⇒(0'+0')=0'')) Ax4( y,(0'+0'),
(0'+0)' =y⇒((0'+0)' =0''⇒y=0''),)
50 (0'+0)' =(0'+0')⇒((0'+0)' =0''⇒(0'+0')=0'') MP(48,49)
51 (0'+0)' =0''⇒(0'+0')=0'' MP(42,50)
52 (0'+0')=0'' MP(35,51)