Title: How useful is proposition testing?