deletion of theories