allowing "_" as an annotation synonymous with (a-blank)