UvA-DARE is a service provided by the library of the University of Amsterdam (https://dare.uva.nl)
UvA-DARE (Digital Academic Repository)
E.W. Beth als logicus
van Ulsen, P.
Publication date
2000
Link to publication
Citation for published version (APA):
van Ulsen, P. (2000). E.W. Beth als logicus. ILLC dissertation series 2000-04.
General rights
It is not permitted to download or to forward/distribute the text or part of it without the consent of the author(s) and/or copyright holder(s), other than for strictly personal, individual use, unless the work is under an open content license (like Creative Commons).
Disclaimer/Complaints regulations
If you believe that digital publication of certain material infringes any of your rights or (privacy) interests, please let the Library know, stating your reasons. In case of a legitimate complaint, the Library will make the material inaccessible and/or remove it from the website. Please Ask the Library: https://uba.uva.nl/en/contact, or a letter to: Library of the University of Amsterdam, Secretariat, Singel 425, 1012 WP Amsterdam, The Netherlands. You will be contacted as soon as possible.
Boekwinkel,, H.B.A., 12 Church,, A., 15 GWP,, 1G Academischh Statuut, 37 Ackerinann,, W., 86, 175, 233 Addison,, J., 35 Aebi,, M., 56 AIPS,, 26, 27, 39, 40 Althoff,, F., 56 ANVW,, 16, 316 Apostel,, L., 314 Archieff A. Heyting, 9, 317 Archieff E.W. Beth, 8, 9, 317 Aristoteles,, 52, 53, 78,116, 123,194, 225 5 Arkel,, C.G. van, 33, 36, 38, 46 ASL,, 10, 15, 25, 27-30, 39, 106 Austinn UT, 43 BB &c W Amsterdam, 35 Balk-Sinitt Duyzentkunst, F., 212, 317 7 Bar-Hillel,, Y., 36 Barrau,, J., 13, 315 Barth,, E.M., 264 Bartley,, W.W., 183 Barwise,, J., 147, 159 Barzin,, M., 17, 267, 272, 283, 315 Bayer,, R., 17, 27, 28, 30 Bayes,, Th.. 69 Beil,, J.L., 91 Belnap.. N.D., 249, 259, 260 Bennett,, A., 76, 78
Benn them, B.C. van, 53 Bcrgson,, H.L., 63 Berkel,, K. van, 19 Berkeleyy UC, 30, 32, 42, 81 Berkeley,, G., 178, 194, 225 Bernays,, LP., 23, 25, 34, 83, 89, 177, 178,181,183,239,257,258 8 Bernouilli,, J., 69 Beth,, A., 21, 315, 316 Beth,, A.A.M., 314, 315 Beth,, E.W., passim, 1
Beth,, H.J.E., 12, 19-22, 314, 316 Bcth-dee Groot, H., 315
Beth-Pastoor,, C.P.C., 32, 314, 316, 318 8
Bibliothecaa E.W. Beth, 318 Bieberbach,, L., 56 Birkhoff,, G., 70-72, 76 Blanc,, E., 317 Bloomfield,, L., 212 Boas,, G., 42 Bochenski,, I.M., 24, 25, 28, 30, 41, 43,, 57 Boer,, ,1. de, 34, 41, 77, 250 Bohr,, N., 2G Boole,, G., 50 Bouvère,, K.L. de, 152-155,191, 202, 204,, 211-213, 317 Bowen,, K.A., 182 Braffort,, P., 194. 202, 205, 213 Braithwaite,, R.P., 160 Brandts,, P.H., 39 Broeder,, J.J., 317
322 2 Index Index Broglie,, L.V.P.R. de, 26 Brouwer,, G., 68 Brouwer,, L.E.J., 1, 2, 4, 7, 13, 19, 26,, 27, 29, 31, 33, 36, 56, 62-66,, 82, 212, 239, 267, 269,272,273,275,276,279, , 283,, 290-293, 298, 305 Bruijn,, N.G. de, 36 Bruyn,, Th., 207, 208 Bull,, R.A., 251 Bunt,, L.N.J., 60 Burali-Forti,, C , 117, 120, 123 Cals,, J.M.L.Th., 38 Carnap,, R., 5, 6, 41, 43, 45, 169, 250 0 Carpentier,, 206 Carton,, M., 208 Cassina,, U., 214 Chang,, C.C., 146, 158 Chisholm,, 183 Chomsky,, A.N., 194, 204, 211, 212 christendom,, 47 Church,, A., 10, 25, 28, 35, 44, 45, 69,76,78,86,96,107-110, , 170,, 193, 206, 272 Chatelet,, A., 29 CI,, 2, 37, 41, 46 CIP,, 16 CIPHS,, 17 Clay,, .7., 1, 13, 15, 17, 18, 78 Cohen,, D., 38
Collegee van Herstel, 21 Collins,, G.E., 207, 214 Constant,, L., 42 Copi,, 183
Corput,, J.G. van der, 33 Couturat,, L., 212 Craig,, W„ 41, 116, 117, 127, 132, 133,136,, 139-142,144, 146, 147,, 156, 171, 179, 183 Curry,, H.B., 14, 26, 31, 41, 139,171, 176,, 218, 243, 251, 318 Dürr,, K., 25. 27, 28 Dalen,, D. van, 66, 273, 287, 297 Dantzig,, D. van, 1, 32, 34, 69, 250 Dauben,, .I.W., 140 Davis,, M., 106, 193 Dekker,, J..7.C, 41 Denton,, J., 112 Derkx,, P.H.J.M., 17, 19 Desargues,, 208 Descartes,, R., 53, 63, 194 Destouches,, .T.L., 23, 27, 29, 35, 40, 70 0 Destouches-Février,, P., 68, 77 Dewey,, J., 58 Dijksterhuis,, E.J., 5, 12, 13, 18-20, 22,, 23 Dockx,, S.L., 17, 26, 27, 30 Dodgson,, C.L., 183 Doorman,, S.J., 11 Dreben,, B., 112 Droste,, A., 69 Duinmctt,, M.A.E., 255 Dunham,, B., 193 Dyson,, V.H., 255, 281, 297, 308, 309, 313 3 Eeckhout,, J.C., 206 Eggink,, 314 Engel,, H., 317 Engeler,, E., 213 Engelking,, R., 85, 90, 95, 113, 182, 308,, 310 Errera,, A., 267, 283, 315 Euclides,, 12, 83 Euratom,, 201-203 Euratom-project,, 7, 42, 191, 192, 209,, 214, 281 Evans,, H.P., 69, 79 Fangmeyer,, H., 210 Feferman,, A., 32 Feferman,, S., 92, 93, 137, 147, 159 Felscher,, W., 238 Feys,, R., 27, 30, 31, 35, 40, 62, 102, 131,, 132, 141, 171, 313 FISP,, 17, 28, 30 Fitch,, F . B , 183, 264 Fitting,, M.C., 182, 250, 264
Fraïssé,, R., 36, 93 Fraasseii,, B.C. van, 70, 72, 74. 76, 94 4 Fraenkcl,, A.H., 13, 32, 35, 43 Frank,, M.D., 239 Franken,, J.C., 14, 21, 44, 56, 315 Frege,, G-, 9 Freudenthal,, H., 23, 39, 60, 212 Fridshal,, R., 193 Fuchs,, W.H..T., 41 Gödcl,, K., 45, 86, 90, 97, 120, 136, 175,209,270,271,279,307 7 Görland,, 14 Gale,, 83 Gaudy,, R.O., 282 Gazzano,, A., 201, 202 GCP,, 16 Gelcrntcr,, H.L., 42, 175, 193-195 Genechten,, R. van, 54 Gcntzen,, G., 6, 8, 45, 71, 81, 100, 102,112,117,128,137,139, , 142,163,, 164,166. 167, 169- 172,174,175,177,178,181--183,, 187, 194,195, 203, 216, 218,219,221,223,224,232, , 233,, 238, 245-247, 259, 272, 313 3 Georgetown-project,, 202, 204, 212 Gcrmansky,, B., 210 Geursen,, S.J., 60 Ghose,, A., 209, 210. 281 Gielen,, J.J., 22 Gilmore,, P.C., 36, 41, 193, 200, 205, 250,, 317 Giozzi,, 214 Givant,, S.R., 35 Glivenko,, V., 244, 267 Goedewaagen,, T., 14, 16, 21, 54, 315 5 Gouda,, J., 21, 22, 316 Goiiscth,, F., 17, 25, 27, 28, 30 Gorcuni,, ran, Uitg.. 3, 51 Gratzer,, G., 83, 91, 113, 262 Grebbelinie,, 20 Griss,, G.F.C.. 63, 250 Grocnewoud,, D., 210, 211, 213 Groot,, J. de, 34 Guillaume,, M., 36, 174, 183, 317 Gulden,, P.H. van der, 16, 44 Gulden,, S.L., 106 Halpern,, 90 Hart,, M.E. 't, 42 Hartmann,, N., 57 Hartshorne,, Cli., 187 Hasenjaeger,, G., 82, 94, 96,167,168, 173,, 175, 185, 192, 193 Hausdorff,, F., 88, 149 Hegel,, G.W.F., 25, 50, 57, 78 Heidegger,, M., 57 Heijenoort,, J. van, 112 Heldring,, 213 Hellman,, G., 161 Hempel,, C.G., 77 Hendriks,, A., 220, 261, 265 Henkin,, L., 30, 36, 81, 87, 90. 91, 94,, 96, 102, 137, 148, 175, 185,, 241, 307, 314 Herbrand,, J., 100, 112, 139, 171, 177,, 178, 183, 203 Hermes,, H., 89, 160, 239 Hertz,, P., 171 Hessenberg,, 208 Heyting,, A., 1, 2, 4, 8, 9, 11, 13, 19, 24,, 26, 29, 31, 33, 36, 38, 39,, 42, 46, 52, 62-64, 66. 67,, 69, 146, 167, 172. 191, 206,208,210,211,213,233, , 234,238,244,246,250,262, , 267,268,270,271,274,275, , 277,279,281,283,290,291. . 293,, 305, 308, 316, 317 HUbert,, D., 29, 78, 86, 89, 175, 179, 183,, 208, 233, 234 Hintikka,, K..1..I, 87, 160, 164, 167, 168,, 183-189, 313 Hirschberg,, D., 194, 202 Hirschberg,, L., 202, 213 HO-wet,, 37, 38. 46 Hodges,, W., 147 Hoyack,, L., 49, 50, 53
324 4 Index Index H S S ,, 39 Huffer,, E.J.E., 20 h u m a n i s m e ,, 47 H u m e ,, D., 55, 194 Husserl,, E., 53, 57 H u t c h i n s ,, W . J . , 201 I C H S ,, 28 I C S U ,, 27, 28, 30 I G L O ,, 35 I I P ,, 16, 17 I I S T ,, 26 I M U ,, 29, 39 I n d u s t r i a ll Relations I n s t i t u t e , 59 I n t e r n a t i o n a a ll I n s t i t u u t voor Wijs-begeerte,, 58 I n t e r n a t i o n a a ll Sigiiifische Studiegroep, 58 8 ISS,, 27 I U P S ,, 28 I U S ,, 27 J a e n s e h ,, E.R., 56 J a m e s ,, W., 58 Jaskowski,, S., 171, 220 J a s p e r s ,, K . T . , 57 J a u c h ,, J . M . , 77 Joch,, T.J., 90, 91 Jeffreys,, H., 250 J o h a n s s o n ,, L, 35, 244, 246 J o h n ss Hopkins U, 4 1 , 247, 251, 316 J o n g h ,, D.H.J. de, 102, 107, 110, 206, 2 1 0 , 2 4 9 , 2 5 1 , 2 6 0 , 2 6 1 , 3 1 7 7 J o n g h ,, D.K. de, 32, 41 J S L ,, 15, 44, 76 J u n g ,, C.G., 57 J ó n s s o n ,, B., 251 K a m p ,, J.A.W., 11, 205, 261 K a n g e r ,, S., 174, 183, 193, 194, 196, 197,, 200, 204, 210 K a n t ,, I., 50, 55, 56, 63, 194, 225 Kant-Gesellscliaft,, 16 Kazemier,, B.H., 11, 16 Keisier,, H.J., 147 Kelley,, J X . , 90 Kleenc,, S.C., 27, 28, 36, 40, 4 1 , 43, 44,, 6G, 69, 79, 87, 89, 97, 1 0 0 , 1 0 2 , 1 1 2 , 1 1 9 , 1 2 9 , 1 3 6 , , 1 3 9 , 1 7 1 , 1 7 2 , 1 7 5 , 1 7 6 , 1 7 9 , , 189,, 223, 227-229, 232, 234, 2 3 8 , 2 4 6 , 2 6 8 . 2 7 0 , 2 7 1 , 2 7 3 , , 2 7 9 , 2 8 1 , 2 9 1 - 2 9 3 , 3 1 1 , 3 1 3 , , 317 7 K l o o s t e r m a n ,, H.D., 315 K N A W ,, 8, 9, 25, 37, 53, 146, 317 K n e g t m a n s ,, P.J., 17 Koetsier,, T . , 82 K o h n s t a m m ,, P h . , 37 Kok,, J . , 201 Kolmogoroff,, A.N., 69, 244, 246, 267 K o r t e w e g ,, D . J . , 315 K o r t m u l d e r ,, 16 K r a b b e ,, E . C . W . , 234, 238, 316 K r a m e r s ,, H.A., 13, 68, 70, 72, 73, 315 5 Kreisel,, G., 9, 4 1 , 45, 64, 66, 67, 82,, 1 6 3 , 1 9 8 , 2 0 4 , 2 1 0 , 2 1 6 , 2 4 1 , 2 5 5 , 2 6 8 - 2 7 1 , 2 7 4 , 2 7 9 , , 2 8 1 , 2 8 7 , 2 9 0 - 2 9 3 , 2 9 7 , 3 0 1 , , 3 0 3 ,, 305, 307, 309, 313 K r i j g s m a n ,, P.H., 211 K r i n gg v a n Significisteii, 58 Kripke,, S.A., 174, 183, 211, 250-2 5 250-2 , 250-2 5 4 , 250-2 5 5 , 250-2 6 250-2 , 250-2 9 7 , 3 0 7 , , 3 1 3 ,, 314 K r o m a n ,, K., 8 Kueker,, D . W . , 146. 158 L ö w e n h e i m ,, L., 97 L a d r i è r e ,, ,L, 141 L a m ,, 45 Langford,, C.H., 245, 252 Larisse,, J., 202 Lesniewski,, S., 118 Leblanc,, H., 94, 247-249. 259, 261 Lecerf,, Y., 202 Leeuw,, G. v a n der, 21, 22 Leibniz,, G . W . von, 23, 52, 53, 55, 212 2 Leninion,, E . J . , 255 Levy,, 90
Lewis,, C.I., 245, 252 Lindenbaum,, A., 118, 124 Lineal,, S.L., 106, 167 Linsky,, L., 36 Lis,, Z., 182 Locke,, J., 2 3 , 178, 194, 225 Lorenzen,, P., 177, 227, 234-239 Loss Angeles U C; 43 Lukasiewicz,, ,7., 9 Lullus,, R., 194 Lyndon,, R . C . , 117, 127, 136, 144-146,, 157, 171 Muller,, G.H., 107, 239 Muller,, H.R., 56 Mach,, E., 58 Makkai,, M., 146, 158 Malcev,, A., 90 Maimoury,, G., 1, 6, 13, 55, 58, 59, 82 2 Markov,, A.A., 203 Marx,, K., 239 M C ,, 22, 33, 69 McKinsey,, .7.C.C., 7 6 , 1 2 3 , 250, 262, 308 8 Mehrtens,, H., 56 Meijlink,, E . A . C . , 192 Melsen,, A . G . M . van, 26, 27, 32, 53 Mendelson,, E . , 61 Messiali,, A., 77 Meyer,, H., 16, 62 Meyer-Uhlenried,, K.H., 202 Mill,, J. van, 82 Mises,, R. von, 69 M i t t e l s t a e d t ,, P., 73 Monk,, D., 214 Montague,, R . M . , 36, 43, 76, 161, 205 5 Mooij,, ,7.,7.A., 1 1 , 317 Moore,, W.A., 211 More,, T., 193, 194 Morris,, C , 58 Mostowski,, A., 35, 8 1 , 92, 152, 163, 209,, 235 Mulckhuyse,, -7..I., 317 Mulder,, A.D., 34 M u r a l t ,, von, 29 Naess,, A., 250 Nat.Ac.Sci.,, 39 Natl.Researchh C , 39 Natl.Sci.Found.,, 39, 205 N a t o r p ,, P.G., 63 Nelson,, D., 273 N e u m a n n ,, .7. von, 7 0 - 7 2 , 74, 76, 203 Newell,, A., 193, 194 Nieland,, .7..1.F., 2 1 1 , 213, 2 5 1 , 262, 264,, 308 Noord-Hollandsee Uitg.Mij., 3 1 , 239 N V L ,, 16, 26, 38, 54, 59, 316 Odifreddi,, P., 273 Oldewelt,, H.M.,7., 2 1 , 22, 42, 47, 55 Os,, C.H. van, 15, 316 Ovink,, 14 P.S.,, 24 P a d o a ,, A., 105, 107, 116, 117, 119, 1 2 1 , 1 2 3 , 1 4 2 , 1 5 2 , 1 5 5 , 1 5 7 , , 160,, 171, 173 P a p p o s ,, 208 P a r m c n i d e s ,, 53 P a r s o n ,, 306 P a s ,, W.G..7. ten, 15 P a s c a l ,, B . , 116, 123 P c a n o ,, G., 68, 117, 123, 212, 214 Peirce,, C.S., 4 1 , 58, 110, 165, 166, 187,, 242, 246, 259 P c r e i n a n s ,, W., 317 P e u r s e n ,, C.A. van, 25 P i a g e t ,, J., 25, 6 1 , 206, 217 Pieri,, M „ 158 P i u ss XII, 16 P l a t o ,, 52, 53. 55, 58, 62 Polyy a, G-, 195 P o p p e r ,, K.R.. 25, 47, 183 P o s ,, H.J., 17-22, 42, 44, 63 P o s t ,, E.L., 106, 167, 191 P o s t ,, G., 106 P r a k k e ,, H..7., 3, 51 P r a w i t z ,, D., 193, 196, 197, 220 P r a w i t z .. H-, 196
326 6 Index Index Preparata,, F.P., 208 Presburger,, M., 153 PS,, 23 PSA,, 27, 39 Putnam,, H., 193 Quine,, W.V.O., 10, 24, 27, 28, 30, 41,, 61, 62, 169-171, 183, 247 7 Ramsey,, F.P., 250 RANH,, 9, 69, 317 Rasiowa,, H., 83, 85, 86, 163, 235, 262,, 269, 308 Reichenbach,, H., 5, 6, 29, 70, 76, 78 Rcichling,, A., 212 Reith,, H., 47 Ridder,, C.C.J, de, 16 Rijk,, R.P.G. de, 213 Robinson,, A., 23, 116,117,127, 136, 140,, 144, 147, 148, 150-152,155,, 158,193,194, 277 Robinson,, J., 155 Rochester,, N., 193 Rombach,, 19 Roos,, A. de, 35 Rose,, A., 107 Rose,, G.F., 107 Rosser,, J.B., 3, 10, 24, 27-30, 153 Rubin,, H., 89 Rubin,, J.E., 89 Russell,, B.A.W., 9, 124, 176 Rutten,, F.J.Th., 23 Samuel,, P., 317 Sassen,, F.L.R., 5, 6, 38, 45-47, 52 Schutte,, K., 157, 163, 164, 173, 183, 193,, 297, 309 Schützenberger,, M.P., 194 Scharroo,, P.W., 39 Scheepen,, F. van, 202, 204, 206, 213 Schmidt,, H.A., 41 Scholz,, H., 6, 35, 56, 57, 171, 234, 267 7 Schoonbrood,, 16 Schopenhauer,, A., 50 Schouten,, J.A., 33 Schouten,, J.F., 208 Schröter,, K., 35, 61, 83, 235, 241 Schwichtenberg,, H., 243 Scott,, D.. 211 Segal,, S.L., 56 Segerberg,, K., 251 Sergescu,, P., 28, 31 Seuren,, P., 213 SG,, 17, 58, 59 Shamos,, M.I., 208 Shannon,, C , 194 Shaw,, J.C., 193 Sikorski,, R., 83, 85, 86, 163, 269 Silbcr,, J.R., 43 SILPS,, 25-28 Simon,, H.A., 160, 193, 194 Singlctary,, W.E., 106 Skolem,, T.A., 1, 2, 86, 97, 148, 149 Slomson,, A.B., 91 Smits,, J., 213 Smullyan,, R., 94, 182, 187 Sneed,, J., 76 Solovay,, R.M., 214 Sopper,, A.J. de, 315 Sparnaay,, H., 21 Spinoza,, B., 23, 52 Staal,, J.F., 11, 42, 45, 212 Stanley,, 183 Steek,, M., 56 Stegmiiller,, W., 55, 76 Stoa,, 53 Stommel,, J.A., 317 Stonebrink,, B., 55 Stratton,, F.J.M., 29 Strauss,, M., 70, 76
Studiegenootschapp Psychische Mas-sahygiëne,, 59 Studiess in Logic, 2, 31 Suppe,, F., 76 Suppes,, P.C., 68, 76, 160 Svenonius,, L., 146, 158, 159 Sward,, G.L., 193 Swart,, H.C.M. de, 307, 314 Symonds,, 183
Synthese,, 59 T a t o n ,, R-, 123 Tarski,, A., 4. 6, 9, 11, 13. 15, 16, 26, 27,, 30, 32, 33, 35, 36, 39, 4 1 ,, 42, 45, 57, 62, 6 9 - 7 1 , 74,, 76, 8 1 - 8 3 , 85, 86, 88, 90,, 91, 103-105, 107, 110, 1 1 6 - 1 1 8 , 1 2 0 - 1 2 2 , 1 2 4 - 1 2 7 , , 1 3 6 , 1 3 8 , 1 4 4 , 1 5 2 , 1 5 5 , 1 5 7 , , 159,160,, 1 6 3 , 1 7 4 , 1 7 8 , 206, 2 1 4 , 2 2 8 , 2 4 1 , 2 5 1 . 2 6 1 , 2 6 8 , , 269,, 277, 308, 310, 316 T h o m a s o n ,, R.H., 249, 260 T h o m p s o n ,, B.F., 8 3 , 85 T h o m p s o n ,, F.W., 161 T i n b e r g e n ,, J., 68 T r o e l s t r a ,, A.S., 107, 206, 210, 219, 222,, 224, 242, 243, 262, 287, 297,, 317 Turing,, A.M., 69, 191 U I H P S ,, 2 3 , 28, 39, 40 U I H P S ,, HS-sectic, 39 U I H P S ,, PS-sectic, 39, 40 U I H S ,, 28, 30, 39 U I P S ,, 2 7 - 3 0 , 39, 40 U l l m a n n ,, A., 178 U N E S C O ,, 17, 27, 28, 30 Unityy of Science Forum, 59 UVA,, 17, 19, 33, 203 Vahlon,, T h . , 56 V a u g h t ,, R.L., 36, 9 1 , 93, 128, 132, 133,, 137, 146, 157 V e l d m a n ,, W . , 271, 307, 314 Velthuys-Bechthold,, P.J.M., 317 Verhagen,, C.I.D.M., 191
Verlorenn van T h e m a a t , W.A., 214, 317 7 Verzekeringskamerr A m s t e r d a m , 15 Vcsly,, R . E . , 271 Visser,, 37 Visser,, H., 11, 52, 63 Vlecschauwcr.. H.J. de, 14 Voghera,, N.. 193, 196 Vredenduin,, P.G..1., 14 Waerden,, B . L . van der, 36, 56 Wajsberg,, M., 235, 241, 250 Wallace,, A.D., 89 Walter,, E . J . , 25 Wang,, H., 3 , 193 Waterink,, J., 60 Weiss,, P., 187 Weizsacker,, C . F . von, 77, 78 Welby,, V., 58 Westrhenen,, S.C. van, 210, 317 W G ,, 14, 15, 6 8 , 69 Whewell,, W . , 50 Wienerr Kreis, 14, 58, 161 Wiersma,, W . , 42 Wiessing,, R., 214 Willame,, G., 40 Winklerr P r i n s , 4 W N ,, 19, 3 3 , 3 8 , 250 W o e r d e m a n ,, 19 Wojcicki,, R., 76 Wolff,, J., 13, 315 Woltjer,, .7., 315
Woude,, W . van der, 315 Y n t e m a ,, M.K., 106 Zcmaii,, .7.J., 264 Zernike,, F., 69 Zornss L e m m a , 89
^ ^ ^ ^ ^ 9 m a n ^ 9 * 0 ! ^ { ^ | q p ^ M g a q i P W * m i B * « < B V 9 m ^ ^ a ^ ^ ^ a n H q p | B « M M * P H M a m i P 9 M M ^^^m^^mmmmm ^^^m^^mmmmm
