Talk:Proposition/@comment-104.172.176.244-20150207172450/@comment-11502756-20150221075705

Then I don't need skeletonized.