Added other definitions