Now fully derivable!