TYCS-Program-Logic