====== Principles of Instructions Encoding ======