Starting tests for the validity properties