Add implication checking!
Added minSize function!