Articulated proposition tests