add new theory: Virtual, Override