Finished instantiation. Ready for valudation/debugging