Derivable ~