Testing internal properties