Showing structure for Nequinate