model is synthesyzable