Underlying-logic