monobrane.

mathematical logic