consider X being non empty non void OverloadedRSSign ;
take X ; :: thesis: ( not X is empty & not X is void )
thus ( not X is empty & not X is void ) ; :: thesis: verum