1863 Logic