Floors by Design - Proofs