SPIN validation works