Fully Derivable.