Make relational patterns explicit. #40