On generating *-sound nets with substitution

More Info
expand_more