Libertarian free will requires that agents could have done otherwise under identical prior condition...