Add more applicative law examples