introduce aha-partial.