Initial commit toward bound statements