neverIsDerivedFromAsync
AsyncLaws