The good thing is, nothing in the post even proposes anything that might fall in the function coloring problem.