the justified-constraint solves the problem of the rights of past and future