Definition requires logic.