moved some files; added kant file