Added substitutions and relations into slides