# Lorem Ipsum
> Neque porro quisquam est qui dolorem ipsum quia dolor sit amet, consectetur, adipisci velit..
## What is Lorem Ipsum?
**Lorem Ipsum** is simply dummy text of the printing and typesetting industry. Lorem Ipsum has been the industry's standard dummy text ever since the 1500s, when an unknown printer took a galley of type and scrambled it to make a type specimen book.
- Lorem ipsum dolor sit amet, consectetur adipiscing elit.
- Sed bibendum sem sollicitudin lobortis dapibus.
- Sed venenatis tellus vulputate est congue aliquet.
- Donec eu lacus tincidunt massa hendrerit imperdiet quis quis nisl.
- Pellentesque at augue eget nulla hendrerit scelerisque.
### Russian Spy
There are three people **A B C**, 2 Germans **G**, 1 Russian spy **R**:
$(RA \land GB \land GC) \lor (GA \land RB \land GC) \lor (GA \land GB \land RC)$
Russian is **Spy**:
$(RA \rightarrow SpyA) \land (RB \rightarrow SpyB) \land (RC \rightarrow SpyC)$
**A** is as German as **B** is Russian
$GA \leftrightarrow RB$
hidden: Russian is not German
$(RA \leftrightarrow ¬GA) \land (RB \leftrightarrow ¬GB) \land (RC \leftrightarrow ¬GC)$
we need to show **C** is not a Russian spy
$RC \land SpyC$
$\therefore$ If set of formulas is not satisfiable, then Person C cannot be a Russian Spy
## Lemma
Monotonicity Replacement
- Polarity act as sign here, it will invert the interpretation if it is negative
- If $pol(A, π) = 1$, then $I(B) ≤ I(B')$ implies $I(A[B]π) ≤ I(A[B']π)$
- If $pol(A, π) = −1$, then $I(B') ≤ I(B)$ implies $I(A[B]π) ≤ I(A[B']π)$
## Image
## Expected Workflow
```mermaid
flowchart LR
lead["Artist"]
keyframes["Keyframes"]
roughframes["Rough Frames"]
genframes["Generate Frames\n(RNN, AE, MV)"]
cleanup_matting["Clean Up & Matting\n(GAN, CNN, VQVAE)\nUpsampling"]
finaloutput["Output Frames"]
timingnotes["Timing Notes"]
linestyle["Overall Line Style"]
tag["Optional Tags"]
lead -->|interactive edit| roughframes
lead -->|draw| keyframes --> genframes
lead -->|select| tag & linestyle & timingnotes
roughframes --> cleanup_matting
timingnotes --> genframes
genframes <--> roughframes
tag & linestyle --> cleanup_matting --> finaloutput
subgraph Layout
keyframes
end
subgraph ML Techniques
subgraph In-betweening
genframes
end
subgraph CleanUp & Matting
cleanup_matting
end
end
```