Upcoming paper: Honesty by Typing