derived results