complete sets koan
complete maps koan
complete functions koan