Definition:Derivable Formula