Sac contravariant first try