Räknande oförvissneliga lagrar redanfrån