Logic and Analysis