Basic state definition tests