Derivable TUTU