require 'qed/extensions/check'