Title: Conjoining specifications