https://www.a4architect.com/2013/04/ceiling-types-in-kenya/