Logic and Tested