Presentations on Trusted Types