Talk:Proper complexity function