extensions derivable