add procedure square-list