information about Mathematical proposition field