Typescript Summary Judgment