Implementation Properties Test