Add the virtual fact