Forward substitution