You are searching for postulates