Proto semicomplete