Added the positivity checker, YAY!