*A* Top derivable