Claim: Portal 2 is the sequel to the video game Portal.
Evidence: It is the sequel to Portal -LRB- 2007 -RRB- and was released on April 19 , 2011 , for Microsoft Windows , OS X , Linux , PlayStation 3 , and Xbox 360.