Principles and types