Michalski and Brooks substitutions