If both the initial value  and terminal value  are fixed, i.e. , no conditions on  and  are needed.
If both the initial value and terminal value are set in stone, i.e., without any conditions on  and  are needed.