fixed consistency and now ready to prove write!