Ty om sju är har antagligensystemet