This is not a brief and can even maybe not establish instance laws otherwise argument