intro implemented, and more sound