Yes! finally all the main instances are defined