Complete patterns in elaboration/