Completed sets koan