if something is icy, then it's cold.

I --> C

/C --> /I

if something isn't cold, then it's not icy.

i think the way i made sense of it is: if it something large doesn't fit in this one box, it won't fit in this smaller box inside either.

@SeedyN hi are you still open to having ppl join?