Reformed logic