Are portal and portal 2 different stories