— En tomikcrS logik.