Logic and Style Separation