These definitions are no longer necessary