SummaryBot comments on Decision-Relevance of worlds and ADT implementations