Comment by dependenttypes

Do not put words in my mouth. I only replied to the point regarding transparency in your post. I really don't care about the rest.