Introduction to 7 Logic