Derivable background 3