Added required facts for SPEC tests