Non$top (Explicit)

Non$top (Explicit)