Added explanation about substition.c