SliceGuarantor: Currently re-writing. Does not compile.