Jive

Notes

Short notes on the systems.

Each one is an argument about one part of the stack, with the numbers we have to back it.