Tested some basic logic properties