Logic loops