@Logrian You there?

I regect logic itself
I use type theory

```Set theory is built on top of logic. It requires a separate system like predicate logic underneath it. In type theory, concepts like "and" and "or" can be encoded as types in the type theory itself.```

I don’t care

What shape is the earth

round

!mute @caboose k. penguino#1590

>>mute 580166218867015708

<:vSuccess:390202497827864597> Successfully muted **Dick Kickem**#1590

What did he do

haha randomly sending memes haha so funny

good job sigma

hi

@Anette it was a responce to citizenz muting

the meme?

Yes

idk fam, it doesn't really fit the situation in my opinion

but that might just be me

it's what I think of citizen z after doing the mute

aight

frick

Now it's of you

I have a meme that fits you perfectly but I'd get banned if I sent it here

ok

hot

lil hottie

ok

Morning @gooeySlimey

oh hey goodmorning

I'm watching videos on type systems

@gooeySlimey morning. 😃

FOLLOW @EXPosing_mass_deception on instagream

follow exposing_mass_deception

**Question of The Day #190**

What do you think would happen to the forests if the carbon dioxide (CO2) levels were reduced from .04% to .03%?

Tell us what you think in the <#484514023698726912> 😃

I doubt it CO2 levels will get reduced though, it's way more likely that they'll rise

the short answer is The World system would correct / balance itself as it always does

It probably would have a negligable effect on land plants and would be slightly advantageous to almost all sea life because the oceans would become slightly less acidic. But only then if it continued to drop