Completed definitions