A formal design would have necessitated to have a toilet inside.

正式的设计需要在里面有一个厕所。