This in particular is not very difficult to verify