compile principles killed

ok, now, here is the ending for compile principles.
the next is symbolic logic, for me, quite difficult to cover it.