NHSMS vs ShawneeNHSWS vs ShawneeProofs