Weyl's postulate