in/finite SOL.