substituitions