We could start the example
The example can be loaded
Test for two types