Title: Being, Logic and Correctness