math for kinds core prototyping