Baby Tweak (Explicit)

assumptions (Explicit)