Logic exposition