Lively Proving Alone