, where definitions are derived that are the most convenient.