substitute a for b