Didn't need specCheck.m