Si ^1 <