Add more boundary facts. Work on continuity section