formal time