Input: the law can be changed
the law can not be changed

Output: second