check the implementation of boundary constraints