NonFormalExplicity is following