ask_assume284