added method headers for typechecking