Talk:Entity 303/@comment-87.8.225.247-20160105100530/@comment-69.181.119.224-20160122025624

proof entity 303 exists.File localFile1 = (tnt)localEntityset.ValueOf(tnt)100OptionSpec3)