Completed definitions (no error check though)