Talk:Proposition/@comment-25302371-20150731165804/@comment-26519914-20150801184317

Looks like the Thompson to me