add comment about gui corollary