K Allen, NP-C