add missing 'return bool' in a Law2