Logic for citizens