formal universal