Title: Process theory and equation solving