Shaf: Tests for Given