Fixed Type rule, and simplified testing rules